Gernot Heiser - PDFSEARCH.IO - Document Search Engine

Gernot Heiser
Results: 93

#	Item
31	ISSUE 14 June[removed]www.nicta.com.au NICTA Takes Innovation to the World Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:41 Gernot Heiser Computing Open Kernel Labs Dante Electronics University of New South Wales CeBIT University of Melbourne Association of Commonwealth Universities NICTA Technology
32	Automatic Device Driver Synthesis with Termite Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser UNSW, NICTA, Open Kernel Labs (Australia), John Keys, Intel Conventional driver development Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-10-12 16:19:00 Standard Performance Evaluation Corporation Control key Gernot Heiser Electronics Device driver synthesis and verification Computing General Purpose Input/Output Device driver
33	ISSUE 15 October[removed]www.nicta.com.au NICTA Puts ICT Innovation First Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:42 Higher education Technology Gernot Heiser Open Kernel Labs Dante L4 microkernel family Griffith University Future Internet University of New South Wales Association of Commonwealth Universities Academia NICTA
34	Post-Publication Update for 2012 USENIX Annual Technical Conference Proceedings Add Paul Barham, Microsoft, to the list of Program Committee members. The full list should read: Program Co-Chairs Gernot Heiser, NICTA and Add to Reading List Source URL: www.usenix.org Language: English - Date: 2015-04-01 19:46:21 Research Academia Gernot Heiser NICTA M. Satyanarayanan
35	ISSUE 18 June[removed]www.nicta.com.au Continued funding provides solid foundation for ICT research Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:48 Academia Gernot Heiser Red Lizard Software Gi-Fi L4 microkernel family Defence Science and Technology Organisation University of New South Wales Research Formal verification Association of Commonwealth Universities NICTA UNSW School of Computer Science and Engineering
36	ISSUE 17 March[removed]www.nicta.com.au NICTA writes recipe for impact Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:43 Technology Gi-Fi Open Kernel Labs Gernot Heiser L4 microkernel family Electronics CeBIT Future Internet University of New South Wales Association of Commonwealth Universities Computing NICTA
37	ISSUE 19 September[removed]NICTA shines with world-first research and biggest-ever Techfest Hello and welcome to the September Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:50 NICTA Gernot Heiser L4 microkernel family Open Kernel Labs Institute for a Broadband-Enabled Society Gi-Fi Armadillo University of New South Wales Australian National University Software System software Computing
38	Locked Bag 9013 Alexandria NSW 1435 Tel: +[removed]Fax: + [removed]CRL - Canberra Research Laboratory Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 06:52:49 L4 microkernel family Technology Computing Framework Programmes for Research and Technological Development Ambient intelligence Capability-based security Australian National University Academia NICTA Open Kernel Labs Gernot Heiser
39	seL4: Formal Verification of an OS Kernel Gerwin Klein1,2 , Kevin Elphinstone1,2 , Gernot Heiser1,2,3 June Andronick1,2 , David Cock1 , Philip Derrin1∗, Dhammika Elkaduwe1,2‡, Kai Engelhardt1,2 Rafal Kolanski1,2 , Mi Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:23:07 Theoretical computer science Formal methods L4 microkernel family Microkernel Formal verification Isabelle Trusted computing base Gernot Heiser Kernel Computer architecture Software Computing
40	ISSUE 37 \| JULY[removed]INSIDE Queen’s Birthday honours for Dr Terry Percival Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:56 Red Lizard Software Formal verification Academia Research University of New South Wales Applied mathematics Open Kernel Labs NICTA Gernot Heiser L4 microkernel family